G. Fischer-Servi; 1977; "On modal logic with an intuitionistic base"